#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
int main()
{
	int m, n;
	int time;
	scanf("%d", &n);
	m = n / 12;
	time = m * 4 + 2;
	printf("%d", time);
	return 0;
}